Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
181	Proceedings of the Seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Add to Reading List Source URL: places14.di.fc.ul.pt Language: English - Date: 2014-02-18 12:47:10 Proof theory Logic in computer science
182	Security Domain Model and Implementation Modeling Language Reference Manual version 2.0 May 2008 Add to Reading List Source URL: cisr.nps.edu Language: English - Date: 2008-05-12 17:29:24 Software engineering Computing Programming language theory Type theory Variable Information flow ALGOL 68 Assignment Java
183	Daniel R. Licata Personal Information: E-mail: Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English Type theory International Conference on Functional Programming Programming language theory Homotopy type theory Twelf Dependent type Logical framework Functional programming SIGPLAN Programming language Symposium on Principles of Programming Languages Agda
184	Towards a proposal for datatypes in E-LOTOS Source: Belgium∗, France†, Romania‡, United Kingdom§ Output document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Ottawa meeting, July 1995 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:08 Software engineering Computing Computer programming Type theory Procedural programming languages Process calculi Data types Synchronization Language Of Temporal Ordering Specification Standard ML E-LOTOS ML
185	Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:48 Logic in computer science Programming language semantics Type theory Logic programming Automated theorem proving Operational semantics Substitution Syntax Type system Semantics C++ classes Monad
186	Experience Report: Porting Packages from Pharo to VA Smalltalk John O’Keefe Principal Smalltalk Architect Instantiation, Inc. Add to Reading List Source URL: www.objektfabrik.de Language: English - Date: 2015-04-20 07:47:57 Software engineering Computer programming Programming language theory Smalltalk Pharo Squeak Seaside Extension method Draft:Cuis Smalltalk
187	West Virginia University ACADEMIC STATUS UPDATE FOR GENERAL STUDENT - - Add to Reading List Source URL: assets.slate.wvu.edu Language: English - Date: 2015-06-22 09:23:05 Software engineering Computing Programming language theory Procedural programming languages C Cross-platform software
188	Revisiting default description logics – and their role in aligning ontologies Kunal Sengupta1 , Pascal Hitzler1 , and Krzysztof Janowicz2 1 Wright State University, Dayton OH 45435, USA Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2015-06-12 14:24:23 Logic Abstraction Philosophy Non-classical logic Model theory Reasoning Knowledge representation Logic programming Default logic Description logic First-order logic Web Ontology Language
189	A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:58 Software engineering Computing Computer programming Data types Type theory C++ Procedural programming languages ALGOL 68 Type system C++ classes Subtyping Const
190	Smalltalk as a Service Sebastian Heidbrink IT Consultant Tricept Informationssysteme AG Tricept Informationssysteme AG Add to Reading List Source URL: www.objektfabrik.de Language: English - Date: 2015-04-20 07:46:09 Software engineering Computer programming Programming language theory Object-oriented programming languages Smalltalk Seaside

UPDATE